(Freplace_match): Be sure not to treat non-digit like digit.

diff --git a/src/search.c b/src/search.c
index b0e2b1f919d9b47d7c618cc4ca8fadf9a2816d0b..b4ef3229ac2cff252ff7d28e04911e1e86423f69 100644 (file)
--- a/src/search.c
+++ b/src/search.c
@@ -1273,7 +1273,7 @@ Leaves point at end of replacement text.")
                  (Fcurrent_buffer (),
                   make_number (search_regs.start[0] + offset),
                   make_number (search_regs.end[0] + offset));
-             else if (c >= '1' && c <= search_regs.num_regs + '0')
+             else if (c >= '1' && c <= '9' && c <= search_regs.num_regs + '0')
                {
                  if (search_regs.start[c - '0'] >= 1)
                    Finsert_buffer_substring